Geometry and concurrency: a user's guide
نویسنده
چکیده
Geometrical methods in concurrency theory (and in distributed systems theory) have appeared recently for modelling and analyzing systems' behaviours and also for solving computability and complexity issues. We identify some of the main directions of research and survey some of the major ideas on which all this is based on (some of which are more than thirty years old).
منابع مشابه
A Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملSpatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملAssessing users' visual perception based on the regular and irregular geometry of space organizer
Perception is a cognitive process depends on various factors of the environment. The user's mentality can affect his perception, understanding, and behavior in the environment. Organizing the environment is one of the important factors in the formation of spatial communication of elements that can be an important factor in understanding the person from his or her surroundings. In this research,...
متن کاملNumerically Solving Polynomial Systems with Bertini
Numerically Solving Polynomial Systems with Bertini • approaches numerical algebraic geometry from a user's point of view with many worked examples, • teaches how to use Bertini and includes a complete reference guide, • treats the fundamental task of solving a given polynomial system and describes the latest advances in the field, including algorithms for intersecting and projecting algebraic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 10 شماره
صفحات -
تاریخ انتشار 2000